SysML Requirement Diagrams: Banking Transactional Platform Case Study

نویسندگان

  • Stanislaw Wrycza
  • Bartosz Marcinkowski
چکیده

The aim of this paper is an investigation into the practicality of SysML Requirement Diagrams in requirement identification and specification for an Internet banking transactional platform. The research attempts to discover if SysML Requirement Diagrams can be applied not only for defining requirements in engineering domains, but also for conducting business cases. The paper is structured as follows: after the Introduction, the prerequisites of requirement specification in SysML are clarified in Section 2. Section 3 exemplifies the containment relationships in a banking transactional platform case study. A Requirement Diagram of a Money Transfer Service in both graphical and tabular form is developed and explained in Section 4, followed by Conclusions. The study has generated demand for more in-depth analysis of business cases specification using other SysML/UML diagrams functionality.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams

The validation of SysML specifications needs a complete process for extracting, formalizing and verifying SysML requirements. Within an overall approach which considers an automatic verification of SysML designs by translating both requirement and behavioral diagrams, this paper proposes a modular verification of SysML functional requirements on activity diagrams. The contribution of this paper...

متن کامل

Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur

One of the existing problems in requirement engineering consists in arriving to capture final user requirements as well as possible. But it is clear that engineering methods such as goal-oriented models or system-oriented requirement diagrams such as SYSML are sometimes too hard for end-users. In this paper we define a systematic process allowing ennd-users to specify requirements using cogniti...

متن کامل

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

The Unified Modeling Language (UML) standardized by the Object Management group (OMG) offers thirteen diagrams, but no facility to handle the requirement management phase which usually starts the development cycle of real-time systems. The SysML standard, including the concept of requirement diagram, has opened new avenues. Nevertheless both UML and SysML lack methodological support. This disse...

متن کامل

Methodology for the Specification of Software Requirements for an Integrated Logistic Platform

This article describes a methodology for the specification of the software requirements of an Open Logistic Services Platform. A business processes analysis, through BPMN models of information exchange between private and institutional actors linked to different logistic cycles, has allowed to identify and analyze Use Cases and to build, in SysML language, the Sequence Diagrams that describe th...

متن کامل

Modular and Distributed Verification of SysML Activity Diagrams

Model-based development for complex system design has been used to support the increase of systems complexity. SysML is a modeling language that allows a system description with various integrated diagrams, but SysML lacks formality for the requirement verification. Translating SysML-based specification into Petri nets allows to enable rigorous system analysis. However, for complex systems, we ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011